-
1 проверка программы
кодовая строка; строка программы — code line
Русско-английский словарь по информационным технологиям > проверка программы
-
2 Встроенный модуль контроля типов позволяет удостовериться в корректности кода после преобразований
Универсальный русско-английский словарь > Встроенный модуль контроля типов позволяет удостовериться в корректности кода после преобразований
-
3 контроллер
1) General subject: controller2) Computers: adapter, host adapter3) Engineering: controller box, controlling system, manually controlled switchgroup, network controller4) Construction: perambulator6) Railway term: combination switch, master (управления), motor controller8) Electronics: automatic controller9) Information technology: cntl (сокращение), director10) Network technologies: control unit, verifier11) Automation: code conversion12) General subject: controller (компонент электроники)13) Chemical weapons: control logic (логическое управляющее устройство), controller (логическое управляющее устройство), CONR (ОУОВ)14) Makarov: control unit (в системах обработки и передачи информации), controller (в системах обработки и передачи информации), controller (для управления электродвигателями), master switch (для управления электродвигателями)15) Hi-Fi. controller (ещё одно название A/V-предварительного усилителя) -
4 диагностическая проверка
1. diagnostic checkпрограмма проверки опечаток, «корректор» — spelling checker
проверка на просвет; сличение на просвет — peek-a-boo check
2. diagnostic verificationРусско-английский большой базовый словарь > диагностическая проверка
-
5 программа контроля правил проектирования
Русско-английский словарь по информационным технологиям > программа контроля правил проектирования
См. также в других словарях:
Checker Marathon — Manufacturer Checker Motors Company Production 1961 1982 Assembly Kalamazoo, Michigan … Wikipedia
Code Convention — Als Programmierstil (engl. code conventions, coding conventions, coding standards) bezeichnet man einen Satz von Regeln, denen sich der Programmierer unterwirft. Üblicherweise werden hierunter Regeln verstanden, nach denen der Quelltext einer… … Deutsch Wikipedia
Checker Hall — Original name in latin Checker Hall Name in other language State code BB Continent/City America/Barbados longitude 13.28333 latitude 59.63333 altitude 56 Population 0 Date 2013 05 05 … Cities with a population over 1000 database
List of tools for static code analysis — This is a list of significant tools for static code analysis.Historical products* Lint the original static code analyzer of C code.Open source or Noncommercial products .NET (C#, VB.NET and all .NET compatible languages) *… … Wikipedia
Saison 2 de Code Quantum — Série Code Quantum Pays d’origine États Unis Chaîne d’origine NBC Diffusion origina … Wikipédia en Français
SPIN model checker — SPIN is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion. It was written by Gerard J. Holzmann and others, and has evolved for more than 15 years. SPIN is an… … Wikipedia
Au bout du rêve (Code Quantum) — Épisodes de Code Quantum Au bout du rêve Saison 2 Épisode n° 14 Scénariste(s) … Wikipédia en Français
Couverture de code — La couverture de code (en anglais code coverage) est une mesure utilisée en génie logiciel pour décrire le taux de code source testé d un programme. Ceci permet de mesurer la qualité des tests effectués. La mesure de ce taux implique souvent l… … Wikipédia en Français
Statische Code-Analyse — oder kurz statische Analyse ist ein statisches Software Testverfahren. Der Quelltext wird hierbei einer Reihe formaler Prüfungen unterzogen, bei denen bestimmte Sorten von Fehlern entdeckt werden können, noch bevor die entsprechende Software… … Deutsch Wikipedia
Liste des épisodes de Code Quantum — Cette page recense la liste des épisodes de la série télévisée Code Quantum. Code Quantum est une série américaine qui a été diffusée de mars 1989 à mai 1993 sur la chaîne NBC. Chronologie des saisons de Code Quantum Saison 1 8 épisodes … Wikipédia en Français
Faster Payments Service — (FPS) is a banking initiative in the United Kingdom to reduce the time taken for low value payments made person to person and business to business which normally take three working days using BACS to near real time, essentially as if the two… … Wikipedia
